A Logic for Default Reasoning About Probabilities
نویسنده
چکیده
A logic is defined that allows to express in formation about statistical probabilities and about degrees of belief in specific proposi tions. By interpreting the two types of proba bilities in one common probability space, the semantics given are well suited to model the influence of statistical information on the for mation of subjective beliefs. Cross entropy minimization is a key element in these se mantics, the use of which is justified by show ing that the resulting logic exhibits some very reasonable properties.
منابع مشابه
Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning
We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore the relationship between coherencebased and model-theoretic probabilistic logic. Interestingly, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reasoning. Cruc...
متن کاملA Logical Study on Qualitative Default Reasoning with Probabilities
Only very special subclasses of probability distributions can be used for qualitative reasoning that meets basic logical demands. Snow’s atomic bound systems (big-stepped probabilities) provide one positive example for such a subclass. This paper presents a thorough investigation of the formal logical relationships between qualitative and probabilistic default reasoning. We start with formalizi...
متن کاملA Logic with Big-stepped Probabilities That Can Model Nonmonotonic Reasoning of System P
We develop a sound and strongly complete axiomatic system for probabilistic logic in which we can model nonmonotonic (or default) reasoning. We discuss the connection between previously developed logics and the two sublogics of the logic presented here.
متن کاملToward a Logic for Qualitative Decision Theory
We present a logic for representing and reasoning with qualitative statements of preference and normality and describe how these may interact in decision making under uncertainty. Our aim is to develop a logical calculus that employs the basic elements of classical decision theory, namely probabilities, utilities and actions, but exploits qualitative information about these elements directly fo...
متن کاملProbabilistic Logic under Coherence, Model-theoretic Probabilistic Logic, and Default Reasoning Probabilistic Logic under Coherence, Model-theoretic Probabilistic Logic, and Default Reasoning
We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore the relationship between coherence-based and model-theoretic probabilistic logic. Interestingly, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reasoning. Cru...
متن کامل